Automated Conformance Testing of C2IS
نویسندگان
چکیده
Command, Control, and Information Systems (C2ISs) are complex software products that must conform to agreed standards in order to be interoperable in joint and combined operations. Due to the complexity of information exchange between heterogeneous C2ISs, thorough testing is indispensable to gain confidence that these standards are implemented correctly and semantic interoperability is indeed achieved. Testing can be performed in many different ways and by various means. For the Multilateral Interoperability Programme (MIP), a vendor-independent reference facility has been developed that checks the conformance of national C2ISs to the MIP specifications. MIP defines an interoperability standard for information exchange, which is of particular relevance for land forces and for information exchange between the services. The MIP Test Reference System (MTRS) is integral part of the MIP testing strategy. So far, the MTRS has been used for testing 27 C2ISs over the Internet. In this paper, we introduce the concepts and features of the MTRS and describe an industrial perspective of using a conformance test system such as the MTRS. Moreover, we highlight our approach to testing mappings of C2IS information onto/from a common data model in the context of replication-based information exchange.
منابع مشابه
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integration and regression tests on actual hardware. For embedded systems, power consumption is a chief performance metric, which is tightly coupled to the hardware used and the software exploiting low power modes. Automated...
متن کاملAutomatic Conformance Testing of Internet Applications
We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of thin client Internet applications. That is, we automatically test whether a running Internet application conforms to its formal specification. The actual implementation of the application is not taken into account, only its ext...
متن کاملAutomated Unique Input Output Sequence Generation for Conformance Testing of FSMs
This paper describes a method for automatically generating Unique Input Output (UIO) sequences for FSM conformance testing. UIOs are used in conformance testing to verify the end state of a transition sequence. UIO sequence generation is represented as a search problem and genetic algorithms are used to search this space. The empirical evidence indicates that the proposed method yields consider...
متن کاملRandom Visual GUI Testing: Proof of Concept
Market demands for higher quality software and shorter time-to-market delivery have resulted in a need for new automated software testing techniques. Most automated testing techniques are designed for regression testing that limit their fault finding ability to faults explicitly tested in scenarios/scripts. To overcome this limitation, companies define test processes with several test technique...
متن کاملTest suite development for conformance testing of email protocols
The method for testing electronic mail protocols in the Internet to conform to the standards based on formal specifications is presented. The method is based on automated testing technology UniTESK in which functional requirements are formalized as preand postconditions and test sequence is generated on-the-fly from finite state machine (test state machine) traversal. The method is illustrated ...
متن کامل